1. ASIAN 2003 :--Advances in computing science
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;
2. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986
پدیدآورنده : edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
244
3. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
پدیدآورنده : Michael J. Maher )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321
4. Advances in computing science--ASIAN 2003
پدیدآورنده : / Vijay A. Saraswat, ed
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science--Congresses,Programming languages (Electronic computers)--Congresses,Electronic data processing--Congresses
رده :
QA
,
75
.
5
,.
A735
,
2003
5. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
پدیدآورنده : Vijay A. Saraswat, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
6. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
7. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
8. Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
پدیدآورنده : Mads Dam )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1192
9. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
پدیدآورنده : Gilles Barthe...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2395
10. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987
پدیدآورنده : Casimir A. Kulikowski, Huber, Gabriel A. Ferrate
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65I46
1987
11. Attribute grammars and their applications : International Conference WAGA, Paris, France, September 19-21, 1990 : Proceedings
پدیدآورنده : P. Deransart, M. Jourdan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
461
12. Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A78
1990
13. Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A783
1991
14. Attribute grammars. applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده : H. Alblas, B. Melichar, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
545
15. Automata, Languages and programming : 11th collequium antwerp, Belgium, July 16-20, 1984
پدیدآورنده : / Edited by Jan Paredaens
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Machinetheory - Congresses,Programming languages (Electronic computers) - Congresses,Programming (Electronic computers) - Congresses
رده :
QA267
.
A9215
16. Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
A9228
1989
17. Automata, Languages, and programming: 19th international colloquium, Wien, Austria, July 13-17, 1992: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine thoery-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A87
1992
18. Automata, language and programming; seventh Colloquium Noordwijkerhout, The Netherlands July 14-18, 1980
پدیدآورنده : edited by J. W. de Bakker and J. van Leeuwen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
85
19. Automata, language and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
پدیدآورنده : edited by Wilfried Brauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
194
20. Automata, languages, and programming
پدیدآورنده : Fedor V. Fomin ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
I58
2013